Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

نتائج البحث

Display Settings
النتائج لكل صفحة: 10
Sort By: Relevance
Filter
  • 1-10 of  109 نتائج ل ""Universal""

فلترة النتائج

Language : vietnamese Language : english Collection : Hal Universite Cote D'azur
إعادة تعيين خيارات الفبترة
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

Towards autonomous robot navigation in human populated environments using an Universal SFM and parametrized MPC

Subjects: [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO]Detroit (MI); United States

  • Source: IROS 2023 - IEEE/RSJ International Conference on Intelligent Robots and Systems ; https://inria.hal.science/hal-04210032 ; IROS 2023 - IEEE/RSJ International Conference on Intelligent Robots and

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Mechanized Proofs of Adversarial Complexity and Application to Universal Composability ; Mechanized Proofs of Adversarial Complexity and Application to Universal Composability: Journal pre-print: full version

Subjects: Verification of Cryptographic Primitives; Formal Methods; Interactive Proof System

  • Source: ISSN: 2471-2566.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

A universal dynamical metabolic model representing mixotrophic growth of Chlorella sp. on wastes

Subjects: Chlorella; metabolic modelling; heterotrophy

  • Source: ISSN: 0043-1354 ; Water Research ; https://hal.science/hal-03920752 ; Water Research, 2023, 229, pp.119388. ⟨10.1016/j.watres.2022.119388⟩.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

Universal active metasurface modulation with ultimate performance in reflection

Subjects: [PHYS.PHYS.PHYS-OPTICS]Physics [physics]/Physics [physics]/Optics [physics.optics]; [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation; [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]Paris; France

  • Source: Nanophotonics and Micro/Nano Optics International Conference 2022 ; https://unilim.hal.science/hal-03864856 ; Nanophotonics and Micro/Nano Optics International Conference 2022, Oct 2022, Paris, France

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

Mechanized Proofs of Adversarial Complexity and Application to Universal Composability

Subjects: Verification of Cryptographic Primitives; Formal Methods; Interactive Proof SystemVirtual Event; South Korea

  • Source: CCS 2021 - ACM SIGSAC Conference on Computer and Communications Security ; https://hal.science/hal-03469015 ; CCS 2021 - ACM SIGSAC Conference on Computer and Communications Security, Nov 2021,

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Universal graph description for one-dimensional exchange models

Subjects: [PHYS.COND.CM-SM]Physics [physics]/Condensed Matter [cond-mat]/Statistical Mechanics [cond-mat.stat-mech]; [PHYS.COND.CM-GEN]Physics [physics]/Condensed Matter [cond-mat]/Other [cond-mat.other]

  • Source: EISSN: 2643-1564 ; Physical Review Research ; https://hal.science/hal-02865836 ; Physical Review Research, 2020, ⟨10.1103/PhysRevResearch.2.033297⟩

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Optimal protocols and universal time-energy bound in Brownian thermodynamics

Subjects: [PHYS.PHYS]Physics [physics]/Physics [physics]

  • Source: ISSN: 2643-1564.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

A simple universal machine of type two and a formal proof of its correctness

Subjects: [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]Kochel; Germany

  • Source: CCA 2018 - 15th International Conference on Computability and Complexity in Analysis ; https://inria.hal.science/hal-02019706 ; CCA 2018 - 15th International Conference on Computability and Complexity

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Universal description of III-V/Si epitaxial growth processes

Subjects: [PHYS]Physics [physics]

  • Source: ISSN: 2475-9953 ; Physical Review Materials ; https://univ-rennes.hal.science/hal-01833206 ; Physical Review Materials, 2018, 2 (6), pp.060401(R). ⟨10.1103/PhysRevMaterials.2.060401⟩.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

A lambda-calculus foundation for universal probabilistic programming

Subjects: Probabilistic Programming; Lambda-calculus; MCMCNara; Japan

  • Source: International Conference on Functional Programming ; https://inria.hal.science/hal-01400890 ; International Conference on Functional Programming, 2016, Nara, Japan. pp.33 - 46,

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
  • 1-10 of  109 نتائج ل ""Universal""